Interprétation et vérité

Interprétation Et Reconnaissance D'images Et De Documents Theme Cog Rennes

Inférence semi-automatique et interactive de règles sans vérité terrain

Dealing with non annotated documents for the design of a document recognition system is not an easy task. In general, statistical methods cannot learn without an annotated ground truth, unlike syntactical methods. However their ability to deal with non annotated data comes from the fact that the description is manually made by a user. The adaptation to a new kind of document is then tedious as ...

Extraction et interprétation d'information géographique dans des données non structurées

This paper outlines the “Pyrénées Itinéraires Virtuels” project. The aim of this project is to add value to a legacy localised corpus. Unified models are proposed to define spatial entities in a formal way. These models allow to build a specific information retrieval system based on the semantic contents of various kinds of documents. Moreover, a reflection on computable interpretation of these...

Interprétation par syntaxe abstraite d'ordre supérieur et traduction en combinateurs

ions. Une abstraction pouvant être utilisée en dehors du contexte où elle est définie, on doit mémoriser la liaison des variables apparaissant dans son corps au moment de sa définition. C’est à cette fin qu’on utilise une fermeture, c’est-à-dire l’association d’une abstraction (ident * term) et de l’environnement dans lequel elle a été définie (env) via le constructeur ValAbs. Lecture/écriture ...

Interprétation abstraite

Abstract interpretation is a theory of discrete approximation of the semantics of computer systems mainly applied to the static analysis and verification of software. MOTS-CLÉS : Interprétation abstraite, sémantique, vérification, analyse statique.